101. Programming languages and systems
پدیدآورنده: \ Jan Vitek (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Information retrieval,بازیابی اطلاعات,a05,a05,Computer programming -- Congresses.,Programming languages (Electronic computers) -- Congresses.,برنامهنویسی رای‍ان‍ه -- کنگره ها ,زبانهای برنامهنویسی کامپیوتر -- کنگره ها
رده :
QA
76
.
6
.
P76
2015
E-Book
,
102. Quantum Information IV
پدیدآورنده: \ Edited by T. Hida & K. Saito
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Quantum computers -- Congresses.,Computer science -- Congresses.,کامپیوترهای کوانتومی -- کنگره ها,علوم کامپیوتر -- کنگره‌ها
رده :
E-Book
,
103. Recent Trends in Applied Artificial Intelligence
پدیدآورنده: \ [Edited by] Moonis Ali...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence -- Congresses.,Intelligent agents (Computer software) -- Congresses.,هوش مصنوعی-- کنگره‌ها ,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها
رده :
E-Book
,
104. Relational and Algebraic Methods in Computer Science
پدیدآورنده: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
105. Runtime Verification
پدیدآورنده: \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
106. SOFSEM 2002
پدیدآورنده: \ William I. Grosky, František Plášil (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Congresses.,Computers -- Congresses.,نرمافزار -- کنگره ها,کامپیوتر ها -- کنگره ها
رده :
E-Book
,
107. Semantic Web Evaluation Challenges
پدیدآورنده: \ edited by Fabien Gandon...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Information retrieval,کامپیوتر,بازیابی اطلاعات,a04,a05,a04,a05,Semantic Web -- Congresses.,وب معنایی - کنگره ها
رده :
TK
5105
.
88815
.
S46
2015
E-Book
,
108. Sensor Systems and Software
پدیدآورنده: \ Eiman Kanjo , Dirk Trossen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a04,a04,Wireless sensor networks -- Congresses.,Computer Communication Networks.,شبکه‌های حسگر بی‌سیم -- کنگره ها ,شبکه‌های ارتباطی کامپیوتری
رده :
TK
7872
.
D48S4
2015
E-Book
,
109. Service-Oriented Computing
پدیدآورنده: \ [edited by] Alistair Barros...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Service-oriented architecture (Computer science) -- Congresses.,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
TK
5105
.
5828
.
S4
2015
E-Book
,
110. Service-Oriented Computing – ICSOC 2014 Workshops
پدیدآورنده: \ [Edited by] Farouk Toumani...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Electronic data processing -- Distributed processing -- Congresses,Service-oriented architecture (Computer science) -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S4
2015
E-Book
,
111. Service Oriented and Cloud Computing
پدیدآورنده: \ Schahram Dustdar, Frank Leymann, Massimo Villari (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Cloud computing -- Congresses.,Service-oriented architecture (Computer science) -- Congresses.,محاسبات ابری -- کنگره ها,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
585
.
E8
2015
E-Book
,
112. Social Computing, Behavioral-Cultural Modeling, and Prediction
پدیدآورنده: \ Nitin Agarwal , Kevin Xu, Nathaniel Osgood (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Online social networks -- Psychological aspects -- Congresses.,Computer science -- Social aspects -- Congresses.,Interpersonal relations -- Congresses.,شبکه‌های اجتماعی پیوسته -- جنبه‌های روانشناسی -- کنگره ها ,کامپیوتر -- جنبه های اجتماعی -- کنگره ها,روابط بین اشخاص -- کنگره ها
رده :
HM
742
.
S62
2015
E-Book
,
113. Software Engineering and Formal Methods
پدیدآورنده: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
114. Software Technologies
پدیدآورنده: \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
115. Solving Software Challenges for Exascale
پدیدآورنده: \ Stefano Markidis , Erwin Laure (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer software -- Development -- Congresses.,Supercomputers -- Congresses,نرمافزار -- تولید -- کنگره ها
رده :
QA76
.
76
.
D47S62
2015
E-Book
,
116. Some Current Advanced Researches on Information and Computer Science in Vietnam.
پدیدآورنده: \ Quang A Dang...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Information science -- Congresses,Computers -- Computer Literacy.,علوم کامپیوتر -- کنگره ها,اطلاع رسانی -- کنگره ها ,کامپیوترها -- سواد کامپیوتری
رده :
QA
75
.
5
.
S62
2015
E-Book
,
117. Stabilization, Safety, and Security of Distributed Systems
پدیدآورنده: \ Andrzej Pelc , Alexander A. Schwarzmann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Self-stabilization (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Safety measures -- Congresses.,خودثباتی (کامپیوتر) -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- پيش بينيهاي ايمني -- کنگره ها
رده :
QA
76
.
9
.
S54
2015
E-Book
,
118. Structural Information and Communication Complexity
پدیدآورنده: \ Christian Scheideler (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a04,a05,a04,a05,Electronic data processing -- Distributed processing -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
9
.
S7
2015
E-Book
,
119. Structured object-oriented formal language and method
پدیدآورنده: \ Shaoying Liu, Zhenhua Duan (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روش‌های صوری (کامپیوتر) -- کنگره ها,شی‌گرایی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S765
2015
E-Book
,
120. Swarm, Evolutionary, and Memetic Computing
پدیدآورنده: \ Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das (Eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Swarm intelligence -- Congresses.,Evolutionary computation -- Congresses.,Evolutionary programming (Computer science) -- Congresses.,هوش جمعی -- کنگره ها,محاسبات تکاملی -- کنگره ها,برنامهنویسی تکاملی (کامپیوتر) -- کنگره ها
رده :
Q
337
.
3
.
S9
2015
E-Book
,
